<?hh <<__EntryPoint>> function main(): void {
$sock = socket_create_listen(25);
}
